Books by author Michael G. Hinchey

Showing 1 – 13 out of 13 results

1. 

   ZUM '95: The Z Formal Specification Notation

   Jonathan P. Bowen, Michael G. Hinchey | Springer, Berlin, 1995

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   120.90 €

   Buy
2. 

   Industrial-Strength Formal Methods in Practice

   Michael G. Hinchey, Jonathan P. Bowen | Springer London Ltd, 1999

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   185.99 €

   Buy
3. 

   Conquering Complexity

   Michael G. Hinchey, Lorcan Coyle | Springer London Ltd, 2012

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Hardback

   185.99 €

   Buy
4. 

   Formal Approaches to Agent-Based Systems

   Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.35 €

   Buy
5. 

   Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

   Walt Truszkowski, Harold L. Hallock, Christopher A. Rouff, Jay Karlin, James Rash, Michael G. Hinchey, Roy Sterritt | Springer London Ltd, 2009

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Hardback

   272.74 €

   Buy
6. 

   ZUM '98: The Z Formal Specification Notation

   Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.35 €

   Buy
7. 

   Innovative Concepts for Autonomic and Agent-Based Systems

   Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Walt Truszkowski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.35 €

   Buy
8. 

   Experience from the DARPA Urban Challenge

   Christopher Rouff, Michael G. Hinchey | Springer London Ltd, 2011

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   145.18 €

   Sale 0 %

   You save 0.03 €

   Buy
9. 

   High-Integrity System Specification and Design

   Jonathan P. Bowen, Michael G. Hinchey | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.35 €

   Buy
10. 

    Formal Approaches to Agent-Based Systems

    Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

    
    

    Low in stock at our supplier - Shipping in 13 - 16 days

    Language: English

    Binding: Paperback

    61.35 €

    Buy
11. 

    Formal Methods and Software Engineering

    Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

    
    

    Low in stock at our supplier - Shipping in 13 - 16 days

    Language: English

    Binding: Paperback

    61.35 €

    Buy
12. 

    Formal Approaches to Agent-Based Systems

    Diana Gordon, Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter Truszkowski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

    
    

    Low in stock at our supplier - Shipping in 13 - 16 days

    Language: English

    Binding: Paperback

    61.35 €

    Buy
13. 

    ZUM '97: The Z Formal Specification Notation

    Jonathan P. Bowen, Michael G. Hinchey, David Till | Springer, Berlin, 1997

    
    

    Low in stock at our supplier - Shipping in 13 - 16 days

    Language: English

    Binding: Paperback

    61.35 €

    Buy

Books can be collected at many points all over Slovakia. Find out more